home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Tech Arsenal 1
/
Tech Arsenal (Arsenal Computer).ISO
/
tek-04
/
aie8911.zip
/
LISTING.1
< prev
next >
Wrap
Text File
|
1989-08-27
|
2KB
|
85 lines
Listing 1
EXECUTING SPECIFICATIONS
Specification 1:
stub( [ call : process_housing_unit( X ) ,
purpose: $processes a housing unit$ ]).
test :- process_housing_unit( 1 ).
Execution of Specification 1:
INSTANT RECALL SPECIFICATION INTERPRETER
Loading System Description.
reconsulting v1...reconsulted!
?>test.
process_housing_unit(1) processes a housing unit.
?>halt.
Specification 2:
stub [ call : process_housing_unit( X ) ,
purpose: $processes a housing unit$].
process_housing_unit( X ) :-
data_collected_q( X ),
put_in_sample( X ).
process_housing_unit( X ) :-
write_error([ $No data for $, X]).
stub [ call : data_collected_q( Housing_unit ),
purpose: $decides if data was collected for Housing_unit$].
stub [ call : put_in_sample( Housing_unit ),
purpose: $puts data into sample for used for CPI$].
test :- process_housing_unit( 1 ).
:- turn( process_housing_unit, on).
:- show( process_housing_unit, on).
Execution of Specification 2:
?>test.
process_housing_unit(1) processes a housing unit.
data_collected_q decides if data was collected for Housing_unit.
Is data_collected_q(1) true? ( y or n) : y
put_in_sample(1) puts data into sample for used for CPI.
?>test.
process_housing_unit(1) processes a housing unit.
data_collected_q decides if data was collected for Housing_unit.
Is data_collected_q(1) true? ( y or n) : n
ACHTUNG !! ACHTUNG !! -- ERROR : No data for 1
Specification 3:
stub [ call : process_housing_units ,
purpose: $processes housing units$].
test :- process_housing_units.
Execution of Specification 3:
?>test.
More housing units (y or n) ? y
housing unit processed.
More housing units (y or n) ? y
housing unit processed.
More housing units (y or n) ? n
---------------- end of listing -----------------------------------